Platform Modeling in Safety-Critical Embedded Systems
نویسندگان
چکیده
This paper describes a model-based development process for safety-critical embedded real-time systems that are based on the DECOS integrated architecture. The DECOS architecture guides system engineers in the development of complex embedded real-time systems by providing a framework for integrating multiple application systems within a single distributed computer system. This integration is supported by a model-based development process which enables the reuse of application software on different instantiations of the DECOS platform, performing validation activities earlier in the development phase, and a reduced time-to-market in spite of increasing system functionality. For this purpose, model-based development in DECOS distinguishes between the capturing of the application functionality in a platform-independent model and the specification of the characteristics of the execution platform in the platform model. In this paper, we focus on the modeling of the execution platform and present a novel graphical model editor based on GME for specifying the DECOS execution platform. A platform meta-model expressed using UML and OCL constrains developers in such a way that the ensuing system becomes more dependable, maintainable and supports composability.
منابع مشابه
Embedded Systems Handbook Second Edition Embedded Systems Design And Verification Industrial Information Technology
embedded systems architecture programming and design 2nd edition PDF mission-critical and safety-critical systems handbook design and development for embedded applications PDF embedded systems design with platform fpgas PDF embedded systems and wireless technology theory and practical applications PDF embedded systems design with platform fpgas principles and practices 1st edition by sass ronal...
متن کاملTowards a unified approach for modeling and analysis of real-time Embedded systems using MARTE/UML
Real-time and embedded systems (RTES) have become a necessity in almost every aspect of our daily live. These systems are characterized by their complexity due to the integration of several hardware and software components, and their extreme need of reliability because they are usually used in safety and critical missions. These issues have been for a long time a major concern of researchers, p...
متن کاملModeling and simulation of timing behavior with the Timing Definition Language ( TDL )
Most of the existing modeling methods and tools for embedded application development use levels of abstraction where execution and communication times of computational tasks are not adequately captured. Thus, properties such as time and value determinism, which are crucial for safety-critical real-time systems, cannot be guaranteed when refining the model to move it closer to a target platform....
متن کاملEnhancing Graphical Model-Based System Design—An Avionics Case Study
Graphical model-based system design is very appealing. However, there exist many different formalisms, with different semantics—as far as they do have well-defined semantics— and differing capabilities of the accompanying tools. In this paper, we present a case study from the avionics domain and report on the experiences in using different modeling languages and tools. The focus here is on the ...
متن کاملFormal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems
Safety requirements are a very important artifact in the development of safety critical embedded systems. They are usually identified during safety analyses and are used by experts as a basis for the correct selection and implementation of safety mechanisms. Various safety analysis research groups have worked on formal modeling of safety requirements with the goal of determining if a system can...
متن کامل